#include "iwdg.h"

/* IWDG init function */
void MX_IWDG_Init(void)
{

   /* confiure FWDGT counter clock: 40KHz(IRC40K) / 64 = 0.625 KHz */
    fwdgt_config(1000, FWDGT_PSC_DIV8);

    /* After 0.2 seconds to generate a reset */
    fwdgt_enable();
}

